//main.c
#include <stdio.h>

int main ( )
{
	printf ( "Hello world from t1 main.\n" ) ;

	return 0 ;
}
